Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 35 30 29 46 32 31 23

N.S.

1 1.00 1.21 1.03 1.00 1.59 1.10 1.07 0.79

time (sec)

N/A 0.005 0.011 0.090 0.265 0.260 0.064 0.310 0.018

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 31 28 27 43 26 29 21

N.S.

1 1.00 1.15 1.04 1.00 1.59 0.96 1.07 0.78

time (sec)

N/A 0.006 0.010 0.090 0.275 0.243 0.059 0.284 0.018

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 33 30 29 45 27 31 23

N.S.

1 1.00 1.14 1.03 1.00 1.55 0.93 1.07 0.79

time (sec)

N/A 0.005 0.009 0.088 0.262 0.244 0.066 0.289 0.017

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 33 28 27 44 31 29 21

N.S.

1 1.00 1.22 1.04 1.00 1.63 1.15 1.07 0.78

time (sec)

N/A 0.004 0.008 0.094 0.266 0.247 0.066 0.293 0.017

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 40 36 35 55 37 37 26

N.S.

1 1.00 1.11 1.00 0.97 1.53 1.03 1.03 0.72

time (sec)

N/A 0.007 0.016 0.109 0.272 0.240 0.090 0.323 0.025

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 38 36 37 63 39 34 28

N.S.

1 1.00 1.06 1.00 1.03 1.75 1.08 0.94 0.78

time (sec)

N/A 0.007 0.015 0.123 0.322 0.246 0.085 0.331 8.219

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 51 41 42 68 44 43 34

N.S.

1 1.00 1.19 0.95 0.98 1.58 1.02 1.00 0.79

time (sec)

N/A 0.008 0.016 0.126 0.319 0.246 0.091 0.299 0.026

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 41 42 68 44 41 34

N.S.

1 1.00 1.00 0.95 0.98 1.58 1.02 0.95 0.79

time (sec)

N/A 0.008 0.014 0.134 0.270 0.261 0.095 0.288 0.026

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

163 163 82 0 0 0 0 0 0

N.S.

1 1.00 0.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.081 0.259 0.000 0.000 0.000 0.000 0.000 0.000

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 78 83 0 254 316 75 3916

N.S.

1 1.00 0.96 1.02 0.00 3.14 3.90 0.93 48.35

time (sec)

N/A 0.058 0.037 0.085 0.000 0.279 2.700 1.562 8.922

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 210 139 0 1071 134 2043 5659

N.S.

1 1.00 1.09 0.72 0.00 5.58 0.70 10.64 29.47

time (sec)

N/A 0.225 0.086 0.097 0.000 0.265 2.808 1.923 9.231

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 62 60 0 197 223 59 2654

N.S.

1 1.00 0.98 0.95 0.00 3.13 3.54 0.94 42.13

time (sec)

N/A 0.043 0.018 0.067 0.000 0.265 1.503 1.523 9.035

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 171 105 0 567 76 1034 1220

N.S.

1 1.00 1.08 0.66 0.00 3.57 0.48 6.50 7.67

time (sec)

N/A 0.089 0.058 0.077 0.000 0.261 1.433 2.043 9.181

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 42 37 0 129 131 36 260

N.S.

1 1.00 1.11 0.97 0.00 3.39 3.45 0.95 6.84

time (sec)

N/A 0.025 0.008 0.047 0.000 0.260 0.442 1.662 8.206

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 133 99 0 619 88 1028 1105

N.S.

1 1.00 0.86 0.64 0.00 4.02 0.57 6.68 7.18

time (sec)

N/A 0.074 0.053 0.071 0.000 0.276 2.166 1.893 8.841

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 66 66 0 223 253 68 1690

N.S.

1 1.00 0.96 0.96 0.00 3.23 3.67 0.99 24.49

time (sec)

N/A 0.047 0.019 0.080 0.000 0.283 99.709 1.541 8.977

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 75 159 0 1134 153 2055 5451

N.S.

1 1.00 0.41 0.86 0.00 6.16 0.83 11.17 29.62

time (sec)

N/A 0.179 0.024 0.110 0.000 0.275 149.527 1.874 8.971

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 92 84 0 293 0 94 8817

N.S.

1 1.00 1.03 0.94 0.00 3.29 0.00 1.06 99.07

time (sec)

N/A 0.088 0.023 0.100 0.000 0.388 0.000 1.503 9.218

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 381 70 63 0 7003 0 0 12709

N.S.

1 1.00 0.18 0.17 0.00 18.38 0.00 0.00 33.36

time (sec)

N/A 0.358 0.028 0.104 0.000 1.020 0.000 0.000 9.507

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

376 376 70 59 0 4001 0 0 10382

N.S.

1 1.00 0.19 0.16 0.00 10.64 0.00 0.00 27.61

time (sec)

N/A 0.305 0.027 0.048 0.000 0.414 0.000 0.000 9.700

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 325 44 43 0 4433 0 0 8033

N.S.

1 1.00 0.14 0.13 0.00 13.64 0.00 0.00 24.72

time (sec)

N/A 0.166 0.018 0.044 0.000 0.326 0.000 0.000 9.344

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 325 42 43 0 2141 126 0 8169

N.S.

1 1.00 0.13 0.13 0.00 6.59 0.39 0.00 25.14

time (sec)

N/A 0.152 0.017 0.050 0.000 0.297 3.227 0.000 9.486

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 315 43 43 0 3193 172 0 6067

N.S.

1 1.00 0.14 0.14 0.00 10.14 0.55 0.00 19.26

time (sec)

N/A 0.150 0.017 0.050 0.000 0.289 3.034 0.000 8.960

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 315 45 40 0 3125 0 0 10337

N.S.

1 1.00 0.14 0.13 0.00 9.92 0.00 0.00 32.82

time (sec)

N/A 0.158 0.023 0.042 0.000 0.329 0.000 0.000 9.418

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

363 363 71 63 0 5758 0 0 10509

N.S.

1 1.00 0.20 0.17 0.00 15.86 0.00 0.00 28.95

time (sec)

N/A 0.253 0.025 0.094 0.000 0.527 0.000 0.000 9.010

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

365 365 75 62 0 5030 0 0 16497

N.S.

1 1.00 0.21 0.17 0.00 13.78 0.00 0.00 45.20

time (sec)

N/A 0.268 0.029 0.083 0.000 0.619 0.000 0.000 10.981

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

127 127 488 0 0 0 0 0 0

N.S.

1 1.00 3.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.059 1.057 0.000 0.000 0.000 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 44 36 35 35 42 35 37

N.S.

1 1.00 1.00 0.82 0.80 0.80 0.95 0.80 0.84

time (sec)

N/A 0.025 0.012 0.096 0.336 0.246 0.079 0.354 0.028

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 98 43 42 40 51 42 43

N.S.

1 1.00 1.81 0.80 0.78 0.74 0.94 0.78 0.80

time (sec)

N/A 0.040 0.140 0.097 0.335 0.228 0.064 0.299 0.029

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 37 31 30 30 37 30 32

N.S.

1 1.00 1.00 0.84 0.81 0.81 1.00 0.81 0.86

time (sec)

N/A 0.022 0.009 0.078 0.328 0.244 0.061 0.300 0.024

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 94 62 61 61 76 61 51

N.S.

1 1.00 1.25 0.83 0.81 0.81 1.01 0.81 0.68

time (sec)

N/A 0.052 0.089 0.088 0.334 0.250 0.097 0.316 0.058

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 19 18 18 26 18 17

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.13 0.78 0.74

time (sec)

N/A 0.016 0.009 0.071 0.317 0.235 0.051 0.302 0.038

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 79 62 61 61 76 61 51

N.S.

1 1.00 1.05 0.83 0.81 0.81 1.01 0.81 0.68

time (sec)

N/A 0.043 0.038 0.076 0.333 0.243 0.094 0.292 8.156

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 133 31 36 32 41 36 34

N.S.

1 1.00 3.41 0.79 0.92 0.82 1.05 0.92 0.87

time (sec)

N/A 0.024 0.049 0.099 0.304 0.241 0.078 0.307 8.198

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 100 44 42 45 53 42 43

N.S.

1 1.00 1.85 0.81 0.78 0.83 0.98 0.78 0.80

time (sec)

N/A 0.036 0.030 0.117 0.283 0.238 0.075 0.332 0.029

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 136 38 41 49 48 46 41

N.S.

1 1.00 2.83 0.79 0.85 1.02 1.00 0.96 0.85

time (sec)

N/A 0.034 0.043 0.125 0.276 0.235 0.088 0.295 0.040

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 107 69 73 84 88 73 62

N.S.

1 1.00 1.20 0.78 0.82 0.94 0.99 0.82 0.70

time (sec)

N/A 0.068 0.059 0.133 0.274 0.251 0.118 0.319 0.023

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 139 92 0 210 192 109 100

N.S.

1 1.00 0.99 0.65 0.00 1.49 1.36 0.77 0.71

time (sec)

N/A 0.070 0.197 0.111 0.000 0.248 0.384 0.304 8.363

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 68 67 0 70 82 66 38

N.S.

1 1.00 0.77 0.76 0.00 0.80 0.93 0.75 0.43

time (sec)

N/A 0.042 0.018 0.104 0.000 0.261 0.077 0.306 8.423

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 135 89 0 197 197 108 99

N.S.

1 1.00 0.96 0.64 0.00 1.41 1.41 0.77 0.71

time (sec)

N/A 0.072 0.118 0.106 0.000 0.261 0.380 0.297 0.039

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 135 89 0 209 214 108 97

N.S.

1 1.00 0.96 0.64 0.00 1.49 1.53 0.77 0.69

time (sec)

N/A 0.061 0.108 0.094 0.000 0.256 0.389 0.306 8.309

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 68 67 0 70 82 66 40

N.S.

1 1.00 0.77 0.76 0.00 0.80 0.93 0.75 0.45

time (sec)

N/A 0.036 0.013 0.089 0.000 0.251 0.091 0.339 0.023

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 140 96 0 209 218 113 102

N.S.

1 1.00 0.97 0.66 0.00 1.44 1.50 0.78 0.70

time (sec)

N/A 0.077 0.176 0.127 0.000 0.272 0.388 0.341 0.030

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 148 92 0 237 197 113 104

N.S.

1 1.00 1.01 0.63 0.00 1.61 1.34 0.77 0.71

time (sec)

N/A 0.067 0.223 0.123 0.000 0.263 0.390 0.334 0.017

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 95 75 0 90 94 100 52

N.S.

1 1.00 0.97 0.77 0.00 0.92 0.96 1.02 0.53

time (sec)

N/A 0.060 0.031 0.138 0.000 0.270 0.112 0.337 0.021

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 171 96 0 232 209 120 110

N.S.

1 1.00 1.11 0.62 0.00 1.51 1.36 0.78 0.71

time (sec)

N/A 0.101 0.248 0.143 0.000 0.267 0.387 0.327 0.019

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

127 127 79 0 0 0 0 0 0

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.035 0.084 0.000 0.000 0.000 0.000 0.000 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 46 38 37 37 42 37 39

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.91 0.80 0.85

time (sec)

N/A 0.027 0.009 0.066 0.267 0.239 0.066 0.341 0.030

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 55 44 0 47 48 99 29

N.S.

1 1.00 0.96 0.77 0.00 0.82 0.84 1.74 0.51

time (sec)

N/A 0.030 0.012 0.067 0.000 0.236 0.058 0.341 8.263

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 33 32 32 37 32 34

N.S.

1 1.00 1.00 0.85 0.82 0.82 0.95 0.82 0.87

time (sec)

N/A 0.023 0.008 0.054 0.265 0.238 0.063 0.297 8.227

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 98 32 0 153 70 76 53

N.S.

1 1.00 1.20 0.39 0.00 1.87 0.85 0.93 0.65

time (sec)

N/A 0.049 0.098 0.063 0.000 0.277 0.108 0.300 0.031

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 19 18 18 26 18 17

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.13 0.78 0.74

time (sec)

N/A 0.016 0.006 0.053 0.269 0.232 0.057 0.303 8.213

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 83 32 0 165 70 64 53

N.S.

1 1.00 1.01 0.39 0.00 2.01 0.85 0.78 0.65

time (sec)

N/A 0.039 0.045 0.068 0.000 0.245 0.102 0.303 0.029

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 55 33 38 34 41 38 36

N.S.

1 1.00 1.34 0.80 0.93 0.83 1.00 0.93 0.88

time (sec)

N/A 0.024 0.014 0.073 0.270 0.234 0.084 0.306 8.175

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 55 44 0 50 49 99 29

N.S.

1 1.00 0.96 0.77 0.00 0.88 0.86 1.74 0.51

time (sec)

N/A 0.027 0.017 0.081 0.000 0.237 0.069 0.335 8.152

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 51 38 43 51 48 48 41

N.S.

1 1.00 1.06 0.79 0.90 1.06 1.00 1.00 0.85

time (sec)

N/A 0.034 0.015 0.086 0.264 0.248 0.085 0.315 0.038

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 56 46 0 174 83 56 63

N.S.

1 1.00 0.58 0.48 0.00 1.81 0.86 0.58 0.66

time (sec)

N/A 0.062 0.016 0.090 0.000 0.246 0.125 0.324 0.032

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 356 59 44 0 418 26 254 209

N.S.

1 1.00 0.17 0.12 0.00 1.17 0.07 0.71 0.59

time (sec)

N/A 0.228 0.023 0.063 0.000 0.264 1.487 0.329 0.104

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 275 41 32 0 101 165 205 53

N.S.

1 1.00 0.15 0.12 0.00 0.37 0.60 0.75 0.19

time (sec)

N/A 0.168 0.012 0.061 0.000 0.240 0.098 0.320 0.057

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

347 347 39 40 0 393 24 253 474

N.S.

1 1.00 0.11 0.12 0.00 1.13 0.07 0.73 1.37

time (sec)

N/A 0.137 0.013 0.062 0.000 0.260 1.478 0.371 8.246

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

355 355 40 40 0 545 26 253 286

N.S.

1 1.00 0.11 0.11 0.00 1.54 0.07 0.71 0.81

time (sec)

N/A 0.140 0.011 0.062 0.000 0.271 1.442 0.362 0.048

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 275 42 30 0 101 165 205 53

N.S.

1 1.00 0.15 0.11 0.00 0.37 0.60 0.75 0.19

time (sec)

N/A 0.145 0.012 0.054 0.000 0.248 0.099 0.317 0.024

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

360 360 61 40 0 555 29 258 253

N.S.

1 1.00 0.17 0.11 0.00 1.54 0.08 0.72 0.70

time (sec)

N/A 0.155 0.016 0.096 0.000 0.257 1.467 0.310 8.313

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

370 370 65 38 0 443 31 258 213

N.S.

1 1.00 0.18 0.10 0.00 1.20 0.08 0.70 0.58

time (sec)

N/A 0.160 0.014 0.089 0.000 0.264 1.491 0.314 8.346

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 54 43 0 124 182 217 63

N.S.

1 1.00 0.19 0.15 0.00 0.43 0.63 0.76 0.22

time (sec)

N/A 0.177 0.015 0.086 0.000 0.249 0.131 0.353 8.342

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 377 54 44 0 428 37 265 486

N.S.

1 1.00 0.14 0.12 0.00 1.14 0.10 0.70 1.29

time (sec)

N/A 0.192 0.016 0.104 0.000 0.255 1.462 0.319 0.038

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

117 117 79 0 0 0 0 0 0

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.058 0.091 0.000 0.000 0.000 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 57 38 50 62 60 50 64

N.S.

1 1.00 0.92 0.61 0.81 1.00 0.97 0.81 1.03

time (sec)

N/A 0.036 0.029 0.074 0.263 0.233 0.067 0.376 0.080

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 97 42 0 152 54 66 130

N.S.

1 1.00 1.08 0.47 0.00 1.69 0.60 0.73 1.44

time (sec)

N/A 0.104 0.113 0.103 0.000 0.275 0.111 0.347 8.387

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 53 33 45 56 53 45 59

N.S.

1 1.00 0.96 0.60 0.82 1.02 0.96 0.82 1.07

time (sec)

N/A 0.022 0.018 0.071 0.276 0.247 0.060 0.334 8.420

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 75 34 0 143 49 47 117

N.S.

1 1.00 0.93 0.42 0.00 1.77 0.60 0.58 1.44

time (sec)

N/A 0.059 0.034 0.083 0.000 0.264 0.094 0.329 0.079

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 38 19 31 43 42 31 30

N.S.

1 1.00 1.65 0.83 1.35 1.87 1.83 1.35 1.30

time (sec)

N/A 0.019 0.009 0.056 0.270 0.253 0.049 0.333 0.060

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 74 34 0 159 49 41 125

N.S.

1 1.00 0.99 0.45 0.00 2.12 0.65 0.55 1.67

time (sec)

N/A 0.044 0.027 0.081 0.000 0.250 0.095 0.341 0.032

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 55 35 51 58 58 51 42

N.S.

1 1.00 0.96 0.61 0.89 1.02 1.02 0.89 0.74

time (sec)

N/A 0.024 0.024 0.074 0.270 0.235 0.074 0.331 8.366

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 65 42 0 171 56 68 130

N.S.

1 1.00 0.73 0.47 0.00 1.92 0.63 0.76 1.46

time (sec)

N/A 0.054 0.017 0.092 0.000 0.250 0.112 0.337 0.034

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 60 42 56 76 65 63 49

N.S.

1 1.00 0.91 0.64 0.85 1.15 0.98 0.95 0.74

time (sec)

N/A 0.044 0.024 0.088 0.267 0.244 0.089 0.328 8.265

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 73 48 0 190 65 77 136

N.S.

1 1.00 0.75 0.49 0.00 1.96 0.67 0.79 1.40

time (sec)

N/A 0.092 0.015 0.106 0.000 0.247 0.132 0.375 0.080

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

460 440 58 46 0 422 29 240 216

N.S.

1 0.96 0.13 0.10 0.00 0.92 0.06 0.52 0.47

time (sec)

N/A 0.280 0.017 0.060 0.000 0.267 0.926 0.370 8.307

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

431 431 41 40 0 361 26 239 149

N.S.

1 1.00 0.10 0.09 0.00 0.84 0.06 0.55 0.35

time (sec)

N/A 0.218 0.012 0.063 0.000 0.271 0.932 0.366 8.334

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

451 451 39 40 0 373 24 239 454

N.S.

1 1.00 0.09 0.09 0.00 0.83 0.05 0.53 1.01

time (sec)

N/A 0.206 0.013 0.061 0.000 0.257 0.864 0.376 0.125

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

427 431 40 40 0 525 26 239 275

N.S.

1 1.01 0.09 0.09 0.00 1.23 0.06 0.56 0.64

time (sec)

N/A 0.204 0.010 0.064 0.000 0.250 0.885 0.431 8.286

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

414 414 42 37 0 309 26 239 403

N.S.

1 1.00 0.10 0.09 0.00 0.75 0.06 0.58 0.97

time (sec)

N/A 0.188 0.011 0.059 0.000 0.260 0.915 0.327 0.045

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

416 416 61 42 0 559 32 244 292

N.S.

1 1.00 0.15 0.10 0.00 1.34 0.08 0.59 0.70

time (sec)

N/A 0.224 0.017 0.092 0.000 0.258 0.940 0.378 8.254

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

466 466 65 40 0 451 34 244 492

N.S.

1 1.00 0.14 0.09 0.00 0.97 0.07 0.52 1.06

time (sec)

N/A 0.264 0.016 0.098 0.000 0.267 0.961 0.373 0.118

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

117 117 575 0 0 0 0 0 0

N.S.

1 1.00 4.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.047 0.595 0.000 0.000 0.000 0.000 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 56 38 50 62 58 53 64

N.S.

1 1.00 0.90 0.61 0.81 1.00 0.94 0.85 1.03

time (sec)

N/A 0.031 0.215 0.050 0.260 0.235 0.067 0.332 8.450

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 103 67 92 114 170 97 90

N.S.

1 1.00 1.14 0.74 1.02 1.27 1.89 1.08 1.00

time (sec)

N/A 0.057 0.148 0.069 0.268 0.254 0.202 0.341 0.059

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 53 33 45 57 53 48 59

N.S.

1 1.00 0.96 0.60 0.82 1.04 0.96 0.87 1.07

time (sec)

N/A 0.021 0.050 0.045 0.271 0.238 0.058 0.319 0.059

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 91 62 87 109 165 92 77

N.S.

1 1.00 1.12 0.77 1.07 1.35 2.04 1.14 0.95

time (sec)

N/A 0.044 0.068 0.067 0.266 0.256 0.195 0.324 8.372

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 38 19 0 43 42 33 30

N.S.

1 1.00 1.65 0.83 0.00 1.87 1.83 1.43 1.30

time (sec)

N/A 0.018 0.024 0.043 0.000 0.248 0.057 0.336 8.636

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 91 62 87 107 165 92 83

N.S.

1 1.00 1.21 0.83 1.16 1.43 2.20 1.23 1.11

time (sec)

N/A 0.031 0.050 0.043 0.269 0.246 0.190 0.321 8.561

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 55 64 51 59 58 54 42

N.S.

1 1.00 0.96 1.12 0.89 1.04 1.02 0.95 0.74

time (sec)

N/A 0.020 0.050 0.061 0.272 0.241 0.079 0.299 0.242

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 103 67 92 125 172 97 88

N.S.

1 1.00 1.16 0.75 1.03 1.40 1.93 1.09 0.99

time (sec)

N/A 0.041 0.081 0.076 0.268 0.242 0.221 0.321 0.039

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 61 71 56 76 66 66 49

N.S.

1 1.00 0.92 1.08 0.85 1.15 1.00 1.00 0.74

time (sec)

N/A 0.041 0.063 0.069 0.277 0.242 0.090 0.338 8.589

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 111 72 99 130 199 104 95

N.S.

1 1.00 1.14 0.74 1.02 1.34 2.05 1.07 0.98

time (sec)

N/A 0.062 0.103 0.080 0.271 0.248 0.242 0.333 8.585

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 160 69 0 318 58 148 246

N.S.

1 1.00 0.94 0.41 0.00 1.87 0.34 0.87 1.45

time (sec)

N/A 0.087 0.344 0.121 0.000 0.253 0.735 0.370 8.567

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 160 68 0 261 53 147 147

N.S.

1 1.00 0.96 0.41 0.00 1.56 0.32 0.88 0.88

time (sec)

N/A 0.054 0.184 0.085 0.000 0.260 0.732 0.369 0.124

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 132 60 0 269 49 147 269

N.S.

1 1.00 0.76 0.35 0.00 1.55 0.28 0.85 1.55

time (sec)

N/A 0.052 0.173 0.097 0.000 0.277 0.711 0.368 0.114

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 166 131 64 0 285 53 147 269

N.S.

1 1.14 0.90 0.44 0.00 1.97 0.37 1.01 1.86

time (sec)

N/A 0.040 0.047 0.081 0.000 0.281 0.729 0.345 0.045

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 160 68 0 261 53 147 245

N.S.

1 1.00 0.95 0.40 0.00 1.54 0.31 0.87 1.45

time (sec)

N/A 0.036 0.131 0.077 0.000 0.274 0.734 0.332 8.377